Optimal. Leaf size=424 \[ -\frac {b \tanh ^{-1}\left (\frac {\sqrt {a+\sqrt {a^2+b^2}}-\sqrt {2} \sqrt {a+b \tan (c+d x)}}{\sqrt {a-\sqrt {a^2+b^2}}}\right )}{\sqrt {2} \sqrt {a^2+b^2} \sqrt {a-\sqrt {a^2+b^2}} d}+\frac {b \tanh ^{-1}\left (\frac {\sqrt {a+\sqrt {a^2+b^2}}+\sqrt {2} \sqrt {a+b \tan (c+d x)}}{\sqrt {a-\sqrt {a^2+b^2}}}\right )}{\sqrt {2} \sqrt {a^2+b^2} \sqrt {a-\sqrt {a^2+b^2}} d}+\frac {b \log \left (a+\sqrt {a^2+b^2}+b \tan (c+d x)-\sqrt {2} \sqrt {a+\sqrt {a^2+b^2}} \sqrt {a+b \tan (c+d x)}\right )}{2 \sqrt {2} \sqrt {a^2+b^2} \sqrt {a+\sqrt {a^2+b^2}} d}-\frac {b \log \left (a+\sqrt {a^2+b^2}+b \tan (c+d x)+\sqrt {2} \sqrt {a+\sqrt {a^2+b^2}} \sqrt {a+b \tan (c+d x)}\right )}{2 \sqrt {2} \sqrt {a^2+b^2} \sqrt {a+\sqrt {a^2+b^2}} d}+\frac {2 \sqrt {a+b \tan (c+d x)}}{b d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.28, antiderivative size = 424, normalized size of antiderivative = 1.00, number of steps
used = 12, number of rules used = 8, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.348, Rules used = {3624, 3566,
722, 1108, 648, 632, 212, 642} \begin {gather*} \frac {b \log \left (-\sqrt {2} \sqrt {\sqrt {a^2+b^2}+a} \sqrt {a+b \tan (c+d x)}+\sqrt {a^2+b^2}+a+b \tan (c+d x)\right )}{2 \sqrt {2} d \sqrt {a^2+b^2} \sqrt {\sqrt {a^2+b^2}+a}}-\frac {b \log \left (\sqrt {2} \sqrt {\sqrt {a^2+b^2}+a} \sqrt {a+b \tan (c+d x)}+\sqrt {a^2+b^2}+a+b \tan (c+d x)\right )}{2 \sqrt {2} d \sqrt {a^2+b^2} \sqrt {\sqrt {a^2+b^2}+a}}-\frac {b \tanh ^{-1}\left (\frac {\sqrt {\sqrt {a^2+b^2}+a}-\sqrt {2} \sqrt {a+b \tan (c+d x)}}{\sqrt {a-\sqrt {a^2+b^2}}}\right )}{\sqrt {2} d \sqrt {a^2+b^2} \sqrt {a-\sqrt {a^2+b^2}}}+\frac {b \tanh ^{-1}\left (\frac {\sqrt {\sqrt {a^2+b^2}+a}+\sqrt {2} \sqrt {a+b \tan (c+d x)}}{\sqrt {a-\sqrt {a^2+b^2}}}\right )}{\sqrt {2} d \sqrt {a^2+b^2} \sqrt {a-\sqrt {a^2+b^2}}}+\frac {2 \sqrt {a+b \tan (c+d x)}}{b d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 212
Rule 632
Rule 642
Rule 648
Rule 722
Rule 1108
Rule 3566
Rule 3624
Rubi steps
\begin {align*} \int \frac {\tan ^2(c+d x)}{\sqrt {a+b \tan (c+d x)}} \, dx &=\frac {2 \sqrt {a+b \tan (c+d x)}}{b d}-\int \frac {1}{\sqrt {a+b \tan (c+d x)}} \, dx\\ &=\frac {2 \sqrt {a+b \tan (c+d x)}}{b d}-\frac {b \text {Subst}\left (\int \frac {1}{\sqrt {a+x} \left (b^2+x^2\right )} \, dx,x,b \tan (c+d x)\right )}{d}\\ &=\frac {2 \sqrt {a+b \tan (c+d x)}}{b d}-\frac {(2 b) \text {Subst}\left (\int \frac {1}{a^2+b^2-2 a x^2+x^4} \, dx,x,\sqrt {a+b \tan (c+d x)}\right )}{d}\\ &=\frac {2 \sqrt {a+b \tan (c+d x)}}{b d}-\frac {b \text {Subst}\left (\int \frac {\sqrt {2} \sqrt {a+\sqrt {a^2+b^2}}-x}{\sqrt {a^2+b^2}-\sqrt {2} \sqrt {a+\sqrt {a^2+b^2}} x+x^2} \, dx,x,\sqrt {a+b \tan (c+d x)}\right )}{\sqrt {2} \sqrt {a^2+b^2} \sqrt {a+\sqrt {a^2+b^2}} d}-\frac {b \text {Subst}\left (\int \frac {\sqrt {2} \sqrt {a+\sqrt {a^2+b^2}}+x}{\sqrt {a^2+b^2}+\sqrt {2} \sqrt {a+\sqrt {a^2+b^2}} x+x^2} \, dx,x,\sqrt {a+b \tan (c+d x)}\right )}{\sqrt {2} \sqrt {a^2+b^2} \sqrt {a+\sqrt {a^2+b^2}} d}\\ &=\frac {2 \sqrt {a+b \tan (c+d x)}}{b d}-\frac {b \text {Subst}\left (\int \frac {1}{\sqrt {a^2+b^2}-\sqrt {2} \sqrt {a+\sqrt {a^2+b^2}} x+x^2} \, dx,x,\sqrt {a+b \tan (c+d x)}\right )}{2 \sqrt {a^2+b^2} d}-\frac {b \text {Subst}\left (\int \frac {1}{\sqrt {a^2+b^2}+\sqrt {2} \sqrt {a+\sqrt {a^2+b^2}} x+x^2} \, dx,x,\sqrt {a+b \tan (c+d x)}\right )}{2 \sqrt {a^2+b^2} d}+\frac {b \text {Subst}\left (\int \frac {-\sqrt {2} \sqrt {a+\sqrt {a^2+b^2}}+2 x}{\sqrt {a^2+b^2}-\sqrt {2} \sqrt {a+\sqrt {a^2+b^2}} x+x^2} \, dx,x,\sqrt {a+b \tan (c+d x)}\right )}{2 \sqrt {2} \sqrt {a^2+b^2} \sqrt {a+\sqrt {a^2+b^2}} d}-\frac {b \text {Subst}\left (\int \frac {\sqrt {2} \sqrt {a+\sqrt {a^2+b^2}}+2 x}{\sqrt {a^2+b^2}+\sqrt {2} \sqrt {a+\sqrt {a^2+b^2}} x+x^2} \, dx,x,\sqrt {a+b \tan (c+d x)}\right )}{2 \sqrt {2} \sqrt {a^2+b^2} \sqrt {a+\sqrt {a^2+b^2}} d}\\ &=\frac {b \log \left (a+\sqrt {a^2+b^2}+b \tan (c+d x)-\sqrt {2} \sqrt {a+\sqrt {a^2+b^2}} \sqrt {a+b \tan (c+d x)}\right )}{2 \sqrt {2} \sqrt {a^2+b^2} \sqrt {a+\sqrt {a^2+b^2}} d}-\frac {b \log \left (a+\sqrt {a^2+b^2}+b \tan (c+d x)+\sqrt {2} \sqrt {a+\sqrt {a^2+b^2}} \sqrt {a+b \tan (c+d x)}\right )}{2 \sqrt {2} \sqrt {a^2+b^2} \sqrt {a+\sqrt {a^2+b^2}} d}+\frac {2 \sqrt {a+b \tan (c+d x)}}{b d}+\frac {b \text {Subst}\left (\int \frac {1}{2 \left (a-\sqrt {a^2+b^2}\right )-x^2} \, dx,x,-\sqrt {2} \sqrt {a+\sqrt {a^2+b^2}}+2 \sqrt {a+b \tan (c+d x)}\right )}{\sqrt {a^2+b^2} d}+\frac {b \text {Subst}\left (\int \frac {1}{2 \left (a-\sqrt {a^2+b^2}\right )-x^2} \, dx,x,\sqrt {2} \sqrt {a+\sqrt {a^2+b^2}}+2 \sqrt {a+b \tan (c+d x)}\right )}{\sqrt {a^2+b^2} d}\\ &=-\frac {b \tanh ^{-1}\left (\frac {\sqrt {a+\sqrt {a^2+b^2}}-\sqrt {2} \sqrt {a+b \tan (c+d x)}}{\sqrt {a-\sqrt {a^2+b^2}}}\right )}{\sqrt {2} \sqrt {a^2+b^2} \sqrt {a-\sqrt {a^2+b^2}} d}+\frac {b \tanh ^{-1}\left (\frac {\sqrt {a+\sqrt {a^2+b^2}}+\sqrt {2} \sqrt {a+b \tan (c+d x)}}{\sqrt {a-\sqrt {a^2+b^2}}}\right )}{\sqrt {2} \sqrt {a^2+b^2} \sqrt {a-\sqrt {a^2+b^2}} d}+\frac {b \log \left (a+\sqrt {a^2+b^2}+b \tan (c+d x)-\sqrt {2} \sqrt {a+\sqrt {a^2+b^2}} \sqrt {a+b \tan (c+d x)}\right )}{2 \sqrt {2} \sqrt {a^2+b^2} \sqrt {a+\sqrt {a^2+b^2}} d}-\frac {b \log \left (a+\sqrt {a^2+b^2}+b \tan (c+d x)+\sqrt {2} \sqrt {a+\sqrt {a^2+b^2}} \sqrt {a+b \tan (c+d x)}\right )}{2 \sqrt {2} \sqrt {a^2+b^2} \sqrt {a+\sqrt {a^2+b^2}} d}+\frac {2 \sqrt {a+b \tan (c+d x)}}{b d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 0.21, size = 108, normalized size = 0.25 \begin {gather*} \frac {\frac {i \tanh ^{-1}\left (\frac {\sqrt {a+b \tan (c+d x)}}{\sqrt {a-i b}}\right )}{\sqrt {a-i b}}-\frac {i \tanh ^{-1}\left (\frac {\sqrt {a+b \tan (c+d x)}}{\sqrt {a+i b}}\right )}{\sqrt {a+i b}}+\frac {2 \sqrt {a+b \tan (c+d x)}}{b}}{d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(796\) vs.
\(2(343)=686\).
time = 0.14, size = 797, normalized size = 1.88
method | result | size |
derivativedivides | \(\frac {2 \sqrt {a +b \tan \left (d x +c \right )}-2 b^{2} \left (\frac {\frac {\left (\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, \sqrt {a^{2}+b^{2}}\, a^{2}+\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, \sqrt {a^{2}+b^{2}}\, b^{2}-\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, a^{3}-\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, a \,b^{2}\right ) \ln \left (b \tan \left (d x +c \right )+a +\sqrt {a +b \tan \left (d x +c \right )}\, \sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}+\sqrt {a^{2}+b^{2}}\right )}{2}+\frac {2 \left (2 a^{2} b^{2}+2 b^{4}-\frac {\left (\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, \sqrt {a^{2}+b^{2}}\, a^{2}+\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, \sqrt {a^{2}+b^{2}}\, b^{2}-\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, a^{3}-\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, a \,b^{2}\right ) \sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}}{2}\right ) \arctan \left (\frac {2 \sqrt {a +b \tan \left (d x +c \right )}+\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}}{\sqrt {2 \sqrt {a^{2}+b^{2}}-2 a}}\right )}{\sqrt {2 \sqrt {a^{2}+b^{2}}-2 a}}}{4 b^{2} \left (a^{2}+b^{2}\right )^{\frac {3}{2}}}+\frac {-\frac {\left (\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, \sqrt {a^{2}+b^{2}}\, a^{2}+\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, \sqrt {a^{2}+b^{2}}\, b^{2}-\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, a^{3}-\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, a \,b^{2}\right ) \ln \left (-b \tan \left (d x +c \right )-a +\sqrt {a +b \tan \left (d x +c \right )}\, \sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}-\sqrt {a^{2}+b^{2}}\right )}{2}+\frac {2 \left (-2 a^{2} b^{2}-2 b^{4}+\frac {\left (\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, \sqrt {a^{2}+b^{2}}\, a^{2}+\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, \sqrt {a^{2}+b^{2}}\, b^{2}-\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, a^{3}-\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, a \,b^{2}\right ) \sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}}{2}\right ) \arctan \left (\frac {-2 \sqrt {a +b \tan \left (d x +c \right )}+\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}}{\sqrt {2 \sqrt {a^{2}+b^{2}}-2 a}}\right )}{\sqrt {2 \sqrt {a^{2}+b^{2}}-2 a}}}{4 b^{2} \left (a^{2}+b^{2}\right )^{\frac {3}{2}}}\right )}{b d}\) | \(797\) |
default | \(\frac {2 \sqrt {a +b \tan \left (d x +c \right )}-2 b^{2} \left (\frac {\frac {\left (\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, \sqrt {a^{2}+b^{2}}\, a^{2}+\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, \sqrt {a^{2}+b^{2}}\, b^{2}-\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, a^{3}-\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, a \,b^{2}\right ) \ln \left (b \tan \left (d x +c \right )+a +\sqrt {a +b \tan \left (d x +c \right )}\, \sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}+\sqrt {a^{2}+b^{2}}\right )}{2}+\frac {2 \left (2 a^{2} b^{2}+2 b^{4}-\frac {\left (\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, \sqrt {a^{2}+b^{2}}\, a^{2}+\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, \sqrt {a^{2}+b^{2}}\, b^{2}-\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, a^{3}-\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, a \,b^{2}\right ) \sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}}{2}\right ) \arctan \left (\frac {2 \sqrt {a +b \tan \left (d x +c \right )}+\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}}{\sqrt {2 \sqrt {a^{2}+b^{2}}-2 a}}\right )}{\sqrt {2 \sqrt {a^{2}+b^{2}}-2 a}}}{4 b^{2} \left (a^{2}+b^{2}\right )^{\frac {3}{2}}}+\frac {-\frac {\left (\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, \sqrt {a^{2}+b^{2}}\, a^{2}+\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, \sqrt {a^{2}+b^{2}}\, b^{2}-\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, a^{3}-\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, a \,b^{2}\right ) \ln \left (-b \tan \left (d x +c \right )-a +\sqrt {a +b \tan \left (d x +c \right )}\, \sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}-\sqrt {a^{2}+b^{2}}\right )}{2}+\frac {2 \left (-2 a^{2} b^{2}-2 b^{4}+\frac {\left (\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, \sqrt {a^{2}+b^{2}}\, a^{2}+\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, \sqrt {a^{2}+b^{2}}\, b^{2}-\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, a^{3}-\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}\, a \,b^{2}\right ) \sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}}{2}\right ) \arctan \left (\frac {-2 \sqrt {a +b \tan \left (d x +c \right )}+\sqrt {2 \sqrt {a^{2}+b^{2}}+2 a}}{\sqrt {2 \sqrt {a^{2}+b^{2}}-2 a}}\right )}{\sqrt {2 \sqrt {a^{2}+b^{2}}-2 a}}}{4 b^{2} \left (a^{2}+b^{2}\right )^{\frac {3}{2}}}\right )}{b d}\) | \(797\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 1774 vs.
\(2 (345) = 690\).
time = 0.88, size = 1774, normalized size = 4.18 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\tan ^{2}{\left (c + d x \right )}}{\sqrt {a + b \tan {\left (c + d x \right )}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 4.86, size = 730, normalized size = 1.72 \begin {gather*} \frac {\ln \left (-16\,b^2\,\sqrt {a+b\,\mathrm {tan}\left (c+d\,x\right )}+16\,b^3\,d\,\sqrt {-\frac {1}{d^2\,\left (a-b\,1{}\mathrm {i}\right )}}+\frac {16\,a\,b^2\,\sqrt {a+b\,\mathrm {tan}\left (c+d\,x\right )}}{a-b\,1{}\mathrm {i}}\right )\,\sqrt {-\frac {1}{a\,d^2-b\,d^2\,1{}\mathrm {i}}}}{2}-\ln \left (16\,b^2\,\sqrt {a+b\,\mathrm {tan}\left (c+d\,x\right )}+16\,b^3\,d\,\sqrt {-\frac {1}{d^2\,\left (a-b\,1{}\mathrm {i}\right )}}-\frac {16\,a\,b^2\,\sqrt {a+b\,\mathrm {tan}\left (c+d\,x\right )}}{a-b\,1{}\mathrm {i}}\right )\,\sqrt {-\frac {1}{4\,\left (a\,d^2-b\,d^2\,1{}\mathrm {i}\right )}}+\frac {2\,\sqrt {a+b\,\mathrm {tan}\left (c+d\,x\right )}}{b\,d}-\mathrm {atan}\left (-\frac {b^2\,\sqrt {-\frac {a}{4\,a^2\,d^2+4\,b^2\,d^2}+\frac {b\,1{}\mathrm {i}}{4\,a^2\,d^2+4\,b^2\,d^2}}\,\sqrt {a+b\,\mathrm {tan}\left (c+d\,x\right )}\,32{}\mathrm {i}}{-\frac {64\,a\,b^3\,d^2}{4\,a^2\,d^3+4\,b^2\,d^3}+\frac {b^4\,d^2\,64{}\mathrm {i}}{4\,a^2\,d^3+4\,b^2\,d^3}}+\frac {128\,a\,b^3\,\sqrt {-\frac {a}{4\,a^2\,d^2+4\,b^2\,d^2}+\frac {b\,1{}\mathrm {i}}{4\,a^2\,d^2+4\,b^2\,d^2}}\,\sqrt {a+b\,\mathrm {tan}\left (c+d\,x\right )}}{-\frac {256\,a^3\,b^3\,d^2}{4\,a^2\,d^3+4\,b^2\,d^3}-\frac {256\,a\,b^5\,d^2}{4\,a^2\,d^3+4\,b^2\,d^3}+\frac {b^6\,d^2\,256{}\mathrm {i}}{4\,a^2\,d^3+4\,b^2\,d^3}+\frac {a^2\,b^4\,d^2\,256{}\mathrm {i}}{4\,a^2\,d^3+4\,b^2\,d^3}}+\frac {a^2\,b^2\,\sqrt {-\frac {a}{4\,a^2\,d^2+4\,b^2\,d^2}+\frac {b\,1{}\mathrm {i}}{4\,a^2\,d^2+4\,b^2\,d^2}}\,\sqrt {a+b\,\mathrm {tan}\left (c+d\,x\right )}\,128{}\mathrm {i}}{-\frac {256\,a^3\,b^3\,d^2}{4\,a^2\,d^3+4\,b^2\,d^3}-\frac {256\,a\,b^5\,d^2}{4\,a^2\,d^3+4\,b^2\,d^3}+\frac {b^6\,d^2\,256{}\mathrm {i}}{4\,a^2\,d^3+4\,b^2\,d^3}+\frac {a^2\,b^4\,d^2\,256{}\mathrm {i}}{4\,a^2\,d^3+4\,b^2\,d^3}}\right )\,\sqrt {-\frac {a-b\,1{}\mathrm {i}}{4\,a^2\,d^2+4\,b^2\,d^2}}\,2{}\mathrm {i} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________